Nuprl Definition : let
13,42
postcript
pdf
let
x
=
a
in
b
(
x
) == (
x
.
b
(
x
))(
a
)
latex
Up
core
2
,
core
2
Wellformedness Lemmas
let
wf
,
let
wf
FDL editor aliases
let
origin
x.b(x))(a) x.b(x))(a)